xen/arm: Introduce INVALID_VCPU_ID
authorJulien Grall <julien.grall@arm.com>
Wed, 8 Mar 2017 18:06:01 +0000 (18:06 +0000)
committerStefano Stabellini <sstabellini@kernel.org>
Thu, 16 Mar 2017 20:59:38 +0000 (13:59 -0700)
commit30c2dd762bcf938475632e28fcbd8d6592a71d5d
tree74d089312fb0a7e7b78e2e2b46d019c185e4e69b
parent1780ea794780cf410fcb857d83add72ee088ff6e
xen/arm: Introduce INVALID_VCPU_ID

Define INVALID_VCPU_ID as MAX_VIRT_CPUS to avoid casting problem later
on. At the moment it can always fit in uint8_t.

Signed-off-by: Julien Grall <julien.grall@arm.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
xen/include/asm-arm/config.h